退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动承担基于断言的形式验证的保证分析
Dong Wang; Synopsys Inc;
机译:演化软件的假设保证回归验证框架
机译:基于假设保证推理的复杂工程系统设计验证
机译:用ARIADNE进行非线性混合系统的假设保证验证
机译:自动承担保证分析,用于基于断言的形式验证
机译:通过基于断言的验证和故障注入对集成电路设计进行故障覆盖分析。
机译:自动选择验证工具以有效分析生化模型
机译:概率系统的假设保证验证
机译:使用设计级假设确认源代码的保证
机译:使用带有线性算术假设的假设-保证关系,通过符号模拟对软件和硬件描述进行高级验证
机译:通过自动检测形式验证中的过度约束来消除电路验证的错误通过
机译:正式验证环境中交互式故障分析的有效机制
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。